🇫🇮 fi en 🇬🇧

ensimmäisen kertaluvun logiikka

first-order logic